$\forall$${\it es}$:ES, $A$, $B$:Type. ($A$ $\subseteq$r $B$) $\Rightarrow$ (AbsInterface($A$) $\subseteq$r AbsInterface($B$))